Petri's Axioms of Concurrency- A Selection of Recent Results
نویسندگان
چکیده
Concurrency theory, as developed by Carl Adam Petri, is an axiomatic theory of binary relations of concurrency (co) and causality (li). This work deals with interactions between axioms and studies properties of concurrency structures, the models of this theory. In contrast to other treatments concurrency theory will be investigated in its general form, which does not require an underlying partial order of causality. Some diiculties are illustrated by counterexamples and possible extensions of the original set of axioms are proposed and analyzed. Topics: Axiomatic theory of concurrency/causality.
منابع مشابه
Concurrency Theory of Cyclic and Acyclic Processes
This work investigates the axiomatic concurrency theory proposed by Carl Adam Petri as a basis of general net theory starting with physically motivated axioms. A formulation in terms of partially ordered sets is intensionally not adopted here, in order to deal with this theory in a more general setting, viewing causality and concurrency as pure similarity relations. Concurrency structures, whic...
متن کاملA Survey of Concurrency Control Algorithms in the Operating Systems
Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...
متن کاملOptimization of majority protocol for controlling transactions concurrency in distributed databases by multi-agent systems
In this paper, we propose a new concurrency control algorithm based on multi-agent systems which is an extension of majority protocol. Then, we suggest a clustering approach to get better results in reliability, decreasing message passing and algorithm’s runtime. Here, we consider n different transactions working on non-conflict data items. Considering execution efficiency of some different...
متن کاملSpace-Time Viewpoints for Concurrent Processes Represented by Relational Structures
In contrast to the standard physical theories which model systems by the continuum, Petri proposed a combinatorial representation of a spacetime — concurrent structures (with occurrence nets as a special case thereof) in which notions corresponding to the relativistic concepts of world line and causal cone can be defined by means of the concurrency and causal dependence relations, repectively. ...
متن کاملA Survey of Concurrency Control Algorithms in the Operating Systems
Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997